class 9 theorem 9.7 proof